We have begun work on two separate but related ontologies for the study of neurological diseases. The first, the Neurological Disease Ontology (ND), is intended to provide a set of controlled, logically connected classes to describe the range of neurological diseases and their associated signs and symptoms, assessments, diagnoses, and interventions that are encountered in the course of clinical practice. ND is built as an extension of the Ontology for General Medical Sciences — a high-level candidate OBO Foundry ontology that (...) provides a set of general classes that can be used to describe general aspects of medical science. ND is being built with classes utilizing both textual and axiomatized definitions that describe and formalize the relations between instances of other classes within the ontology itself as well as to external ontologies such as the Gene Ontology, Cell Ontology, Protein Ontology, and Chemical Entities of Biological Interest. In addition, references to similar or associated terms in external ontologies, vocabularies and terminologies are included when possible. Initial work on ND is focused on the areas of Alzheimer’s and other diseases associated with dementia, multiple sclerosis, and stroke and cerebrovascular disease. Extensions to additional groups of neurological diseases are planned. The second ontology, the Neuro-Psychological Testing Ontology (NPT), is intended to provide a set of classes for the annotation of neuropsychological testing data. The intention of this ontology is to allow for the integration of results from a variety of neuropsychological tests that assay similar measures of cognitive functioning. Neuro-psychological testing is an important component in developing the clinical picture used in the diagnosis of patients with a range of neurological diseases, such as Alzheimer’s disease and multiple sclerosis, and following stroke or traumatic brain injury. NPT is being developed as an extension to the Ontology for Biomedical Investigations. (shrink)

Vaccine research, as well as the development, testing, clinical trials, and commercial uses of vaccines involve complex processes with various biological data that include gene and protein expression, analysis of molecular and cellular interactions, study of tissue and whole body responses, and extensive epidemiological modeling. Although many data resources are available to meet different aspects of vaccine needs, it remains a challenge how we are to standardize vaccine annotation, integrate data about varied vaccine types and resources, and support advanced vaccine (...) data analysis and inference. To address these problems, the community-based Vaccine Ontology (VO) has been developed through collaboration with vaccine researchers and many national and international centers and programs, including the National Center for Biomedical Ontology (NCBO), the Infectious Disease Ontology (IDO) Initiative, and the Ontology for Biomedical Investigations (OBI). VO utilizes the Basic Formal Ontology (BFO) as the top ontology and the Relation Ontology (RO) for definition of term relationships. VO is represented in the Web Ontology Language (OWL) and edited using the Protégé-OWL. Currently VO contains more than 2000 terms and relationships. VO emphasizes on classification of vaccines and vaccine components, vaccine quality and phenotypes, and host immune response to vaccines. These reflect different aspects of vaccine composition and biology and can thus be used to model individual vaccines. More than 200 licensed vaccines and many vaccine candidates in research or clinical trials have been modeled in VO. VO is being used for vaccine literature mining through collaboration with the National Center for Integrative Biomedical Informatics (NCIBI). Multiple VO applications will be presented. (shrink)

The Protein Ontology (PRO) web resource provides an integrative framework for protein-centric exploration and enables specific and precise annotation of proteins and protein complexes based on PRO. Functionalities include: browsing, searching and retrieving, terms, displaying selected terms in OBO or OWL format, and supporting URIs. In addition, the PRO website offers multiple ways for the user to request, submit, or modify terms and/or annotation. We will demonstrate the use of these tools for protein research and annotation.

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

We are developing the Neurological Disease Ontology (ND) to provide a framework to enable representation of aspects of neurological diseases that are relevant to their treatment and study. ND is a representational tool that addresses the need for unambiguous annotation, storage, and retrieval of data associated with the treatment and study of neurological diseases. ND is being developed in compliance with the Open Biomedical Ontology Foundry principles and builds upon the paradigm established by the Ontology for General Medical Science (OGMS) (...) for the representation of entities in the domain of disease and medical practice. Initial applications of ND will include the annotation and analysis of large data sets and patient records for Alzheimer’s disease, multiple sclerosis, and stroke. (shrink)

The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...) dendritic cell ontology (DC-CL). DC-CL subtypes are delineated on the basis of surface protein expression, systematically including both species-general and species-specific types and optimizing DC-CL for the analysis of flow cytometry data. This approach brings benefits in the form of increased accuracy, support for reasoning, and interoperability with other ontology resources. 104. Barry Smith, “Toward a Realistic Science of Environments”, Ecological Psychology, 2009, 21 (2), April-June, 121-130. Abstract: The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

Monoclonal antibodies are essential biomedical research and clinical reagents that are produced by companies and research laboratories. The NIAID ImmPort (Immunology Database and Analysis Portal) resource provides a long-term, sustainable data warehouse for immunological data generated by NIAID, DAIT and DMID funded investigators for data archiving and re-use. A variety of immunological data is generated using techniques that rely upon monoclonal antibody reagents, including flow cytometry, immunofluorescence, and ELISA. In order to facilitate querying, integration, and reuse of data, standardized terminology (...) for describing monoclonal antibody reagents and their targets needs to be used for annotating data submitted to ImmPort. (shrink)

The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...) by several alleles (shared epitopes) are better descriptors of the actual causative genetic variants. Here we describe a novel approach to genetic association analysis in which genes/proteins are broken down into smaller sequence features and then variant types defined for each feature, allowing for independent analysis of disease association with each sequence feature variant type. We have used this approach to analyze a cohort of systemic sclerosis patients and show that a sequence feature composed of specific amino acid residues in peptide binding pockets 4 and 7 of HLA-DRB1 explains much of the molecular determinant of risk for systemic sclerosis. (shrink)

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

Internodons are a formalization of Hennig's concept of species. We present an alternative construction of internodons imposing a tree structure on the genealogical network. We prove that the segments (trivial unary trees) from this tree structure are precisely the internodons. We obtain the following spin-offs. First, the generated tree turns out to be an organismal tree of life. Second, this organismal tree is homeomorphic to the phylogenetic Hennigian species tree of life, implying the discovery of a multi-level tree of life: (...) this phylogenetic tree can be obtained by zooming out from the organismal tree, or conversely, the organismal tree of life can be generated by expanding the phylogenetic nodes into unary trees. Finally, the definition of the organismal tree allows an efficient algorithmic transformation of a given genealogical network into its corresponding phylogenetic species tree of life. The latter will be presented in a separate paper. (shrink)

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal logic (...) to address consistency results in a more robust way. As building blocks for background knowledge, generic theories provide a standard for categorical determinations of consistency. We argue that the results and methods of this paper help to elucidate problems in epistemology and enjoy sufficient scope and power to have purchase on problems bearing on modalities in judgement, inference, and decision making. (shrink)

There are numerous theoretical reasons which are usually said to undermine the case for mental causation. But in recent years, Libet‘s experiment on readiness potentials (Libet, Wright, and Gleason 1982; Libet, Gleason, Wright, and Pearl 1983), and a more recent replication by a research team led by John Dylan Haynes (Soon, C.S., Brass, M., Heinze, H.J., and Haynes, J.-D. [2008]) are often singled out because they appear to demonstrate empirically that consciousness is not causally involved in our choices and actions. (...) In this paper, an alternative interpretation of these studies is offered; one which is in accordance both with the empirical evidence and also with the phenomenology of the will, demonstrating that the two opposing views of agency – both the ones that deny the reality of free will and the ones that affirm it – are equally compatible with the outcomes of these two experiments. On this basis, it is shown that the claim that the results on the timing of readiness potential tip the scales in favour of one or the other view cannot be justified - neither from a neurological, nor from a philosophical perspective. (shrink)

We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition result (...) involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (shrink)

"In the programs of Logic and History of Philosophy in the FHUCE study and introduction to logic is always done on the basis of Western classical Greek tradition, and its development is still exclusively through Western culture. This presentation aims to provide a path parallel to the West is the tradition of Nyaya-Vaisesika schools, which arise in the S. V B.C. like a response to the anti-Vedic Buddhist nihilism, and reached an important technical development at the beginning of S. II (...) D.C. when you know the Nyāyasutras attributed to Aksapada Gautama, and are considered the founding text of Nyāya tradition of Indian philosophy. The great virtue of the achievement of these schools is that although the system has Vaisesika been described as "a synthesis between philosophy of nature, ethics and soteriology" , which also applies to school Nyāya in the latter we are also a great emphasis on epistemology and the rules must be observed in philosophical debates. In their synthesis, Nyāya -Vaisesika system gets his language and jargon will be adopted by all who wish to discuss logical issues in India (especially in discussions Vedanta / Buddhism) without the need to adopt such language should assume his ontological, moral and religious premises. (shrink)

In discussions of the Aharonov-Bohm effect, Healey and Lyre have attributed reality to loops $\sigma_0$ (or hoops $[\sigma_0]$), since the electromagnetic potential $A$ is currently unmeasurable and can therefore be transformed. I argue that $[A]=[A+d\lambda]_{\lambda}$ and the hoop $[\sigma_0]$ are related by a meaningful duality, so that however one feels about $[A]$ (or any potential $A\in[A]$), it is no worse than $[\sigma_0]$ (or any loop $\sigma_0\in[\sigma_0]$): no ontological firmness is gained by retreating to the loops, which are just as flimsy (...) as the potentials. And one wonders how the unmeasurability of one entity can invest another with physical reality; would an eventual observation of $A$ dissolve $\sigma_0$, consigning it to a realm of incorporeal mathematical abstractions? The reification of loops rests on the potential's ''gauge dependence''; which in turn rests on its unmeasurability; which is too shaky and arbitrary a notion to carry so much weight. (shrink)

This paper defends the Principle of Sufficient Reason, taking Baumgarten as its guide. The primary aim is not to vindicate the principle, but rather to explore the kinds of resources Baumgarten originally thought sufficient to justify the PSR against its early opponents. The paper also considers Baumgarten’s possible responses to Kant’s pre-Critical objections to the proof of the PSR. The paper finds that Baumgarten possesses reasonable responses to all these objections. While the paper notes that in the absence of a (...) response to Kant’s Critical discussion of the PSR, this result does not vindicate the principle, it shows how this discussion provides a deeper understanding of what, according to Baumgarten, the PSR really assumes and intends, and prepares the way for a more responsible discussion of Kant’s critical objections to Baumgarten’s supposed proof. (shrink)

A new translation and edition of Aristotle's Protrepticus (with critical comments on the fragments) -/- Welcome -/- The Protrepticus was an early work of Aristotle, written while he was still a member of Plato's Academy, but it soon became one of the most famous works in the whole history of philosophy. Unfortunately it was not directly copied in the middle ages and so did not survive in its own manuscript tradition. But substantial fragments of it have been preserved in several (...) works by Iamblichus of Chalcis, a third century A.D. neo-Pythagorean philosopher and educator. On the basis of a close study of Iamblichus' extensive use and excerption of Aristotle's Protrepticus, it is possible to reconstruct the backbone of the lost work, and then to flesh it out with the other surviving reports about the work from antiquity (for example in Alexander of Aphrodisias and other ancient commentators on Aristotle). It is also possible to identify several papyrus fragments of the work, and many references and literary allusions in later authors, especially Cicero, whose own lost dialogue Hortensius was a defense of philosophy modeleld on Aristotle's. (shrink)

Part 1 of 2, this is an introductory critical review of Michelle Alexander's "The New Jim Crow: Mass Incarceration In The Age of Colorblindness" (The New Press, 2010). See part 2: "Toward Détournement of The New Jim Crow" for an advanced critical reading.

SUMMARY. The works of Alexander of Aphrodisias were written a few decades after the publication of the most successful -astrology hand- book in antiquity, Ptolemy's Tetrabiblos Syntaxis, which attempts to naturalize astrology, i.e. to make it agree with Aristotelian theory of science. A comparison of the doctrines between the Tetrabiblos and some passages of Alexander'p works on fate demostrates a noteworthy con¬vergere of the two scholars, and probably a dependence of the lasi great greek Aristotle's exegete on the (...) theories of Ptolemaic astrology, at least in reference to three points: theory of fate; justification of de- vining as a technical and naturai conjecture about man's fate; ana¬lysis of the stars' influence on the sublunary world in physical and phi¬losophical terms. (shrink)

In cases in which we must choose between either (i) preventing a woman from remaining unwillingly pregnant or (ii) preventing a fetus from being killed, we should prevent the fetus from being killed. But this suggests that in typical cases abortion is wrong: typical abortions involve preventing a woman from remaining unwillingly pregnant over preventing a fetus from being killed. And so abortion is typically wrong—and this holds whether or not fetuses are persons.

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of molecular structure (...) cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics. (shrink)

One of HLA Hart's main contributions to jurisprudence is his theory of social rules. Hart said, essentially, that a social rule exists if the members of a society act in some way and have a certain attitude. Most legal philosophers think that Hart's account of this attitude is too general, however, and that his theory is overinclusive as a result. In this article, I draw on recent work in the philosophy of action to propose a more precise account of the (...) relevant attitude, and a revised version of Hart's theory. I claim that a social rule exists if the members of a society act in some way and ‘accept’ they ought to act this way, independent of their beliefs about the matter. One of the implications of this idea is that the attitude that underlies a social rule is closely analogous to a presumption or fiction about what ought to be done. -/- . (shrink)

Discussion of the relevance of grounding to substantiveness, theory-choice, and “location problems” in metaphysics.

Much of the discussion surrounding the ethics of abortion has centered around the notion of personhood. This is because many philosophers hold that the morality of abortion is contingent on whether the fetus is a person - though, of course, some famous philosophers have rejected this thesis (e.g. Judith Thomson and Don Marquis). In this article, I construct a novel argument for the immorality of abortion based on the notion of impairment. This argument does not assume that the fetus is (...) a person - indeed, I concede (for the sake of argument) that the fetus is not a person - and hence the morality of abortion is not contingent on whether the fetus is a person. I finish by answering a plethora of objections to my argument, concluding that none of them are successful. (shrink)

Legal discourse consists largely of legal claims. These are claims that there is a legal obligation, legal right, or other legal incident. What is the meaning of “legal obligation”, “legal right” and so on in legal claims? The standard view among philosophers of law is that “legal” indicates that, according to law, there is a moral obligation, moral right or other moral incident. Here I set out a new objection to the standard view. The objection is that the standard view (...) is unable to account for the use of legal claims in some common forms of logically complex arguments. (shrink)

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

It is often assumed that if the fetus is a person, then abortion should be illegal. Thomson1 laid the groundwork to challenge this assumption, and Boonin2 has recently argued that it is false: he argues that abortion should be legal even if the fetus is a person. In this article, I explain both Thomson’s and Boonin’s reason for thinking that abortion should be legal even if the fetus is a person. After this, I show that Thomson’s and Boonin’s argument for (...) legalised abortion fail; they have not given us good reason for thinking abortion should be legal.1 Finally, I argue that—if we play Boonin’s game—abortion should be illegal. When discussing the ethics and politics of abortion, whether the fetus is a person is usually central.3 4.2 However, Thomson1 long ago challenged this view. She argued that abortion is permissible even if the fetus is a person. To do so, she asks us to consider a case in which you are non-consensually taken to a hospital and hooked up to a famous violinist. The violinist, if he is to survive, needs to filter his blood through your body. After 9 months, he will be fine and you can unplug yourself and go on your way. If you unplug yourself prior to this, however, he will die. Is it permissible to unplug yourself? Thomson thinks the answer is ‘yes’. And this, she thinks, shows that abortion is permissible even if the fetus is a person. While the majority of her article focuses on the ethics of abortion, it is clear that she also aims to show that abortion should be legal if the fetus is a person; she would no doubt reject the view that the state is right to coerce you into …. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

Tim Maudlin has influentially argued that Humeanism about laws of nature stands in conflict with quantum mechanics. Specifically Humeanism implies the principle Separability: the complete physical state of a world is determined by the intrinsic physical state of each space-time point. Maudlin argues Separability is violated by the entangled states posited by QM. We argue that Maudlin only establishes that a stronger principle, which we call Strong Separability, is in tension with QM. Separability is not in tension with QM. Moreover, (...) while the Humean requires Separability to capture the core tenets of her view, there's no Humean-specific motivation for accepting Strong Separability. We go on to give a Humean account of entangled states which satisfies Separability. The core idea is that certain quantum states depend upon the Humean mosaic in much the same way as the laws do. In fact, we offer a variant of the Best System account on which the systemization procedure that generates the laws also serves to ground these states. We show how this account works by applying it to the example of Bohmian Mechanics. The 3N-dimensional configuration space, the world particle in it and the wave function on it are part of the best system of the Humean mosaic, which consists of N particles moving in 3-dimensional space. We argue that this account is superior to the Humean account of Bohmian Mechanics defended by Loewer and Albert, which takes the 3N-dimensional space, and its inhabitants, as fundamental. (shrink)

In my article "Even if the fetus is not a person, abortion is immoral: The impairment argument" (this journal), I defended what I called “The impairment argument” which purports to show that abortion is immoral. Bruce Blackshaw (2019) has argued that my argument fails on three accounts. In this article, I respond to his criticisms.

This article is a response to Stephen Law's article ‘The evil-god challenge’. In his article, Law argues that if belief in evil-god is unreasonable, then belief in good-god is unreasonable; that the antecedent is true; and hence so is the consequent. In this article, I show that Law's affirmation of the antecedent is predicated on the problem of good (i.e. the problem of whether an all-evil, all-powerful, and all-knowing God would allow there to be as much good in the world (...) as there is), and argue that the problem of good fails. Thus, the antecedent is unmotivated, which renders the consequent unmotivated. Law's challenge for good-god theists is to show that good-god theism is not rendered unreasonable by the problem of evil in the same way that evil-god theism is rendered unreasonable by the problem of good. Insofar as the problem of good does not render belief in evil-god unreasonable, Law's challenge has been answered: since it is not unreasonable to believe in evil-god (at least for the reasons that Law gives) it is not unreasonable to believe in good-god. Finally, I show that – my criticism aside – the evil-god challenge turns out to be more complicated and controversial than it initially appears, for it relies on the (previously unacknowledged) contentious assumption that sceptical theism is false. (shrink)

I provide an updated version of The Impairment Argument against abortion and respond to numerous objections that can be (and have been) raised to it.

Otto Neurath’s empiricist methodology of economics and his contributions to politi- cal economy have gained increasing attention in recent years. We connect this research with contemporary debates regarding the epistemological status of thought experiments by reconstructing Neurath’s utopias as linchpins of thought experiments. In our three reconstructed examples of different uses of utopias/dystopias in thought experiments we employ a reformulation of Häggqvist’s model for thought experiments and we argue that: (1) Our reformulation of Häggqvist’s model more adequately complies with many (...) uses of thought experiments, especially with the open-ended discussions of utopias and dys- topias in thought experiments. (2) As a strict logical empiricist, Neurath is committed to a strictly empiricist account of thought experiments. John Norton’s empiricist argument view can indeed account for the justifications of empirical beliefs and genuine discoveries targeted by scientific utopianism in three distinct (yet connected) ways, all of which Neur- ath already contemplated: (2.I) Dealing with utopias and thought experiments on a regular basis increases creativity and inventiveness. (2.II) Particular ways of presenting knowl- edge facilitate scientific discovery and social progress. (2.III) The use of utopias in thought experiments can prompt conceptual change and allow access to new phenomena. We con- clude by highlighting that, even though thought experiments support a positive attitude for exploring new social possibilities, Neurath points out that active decisions are unavoidable. The exploration of alternatives and the awareness of a need for decisions in policy discus- sion avert a technocratic outlook in social science. (shrink)

Abortion restrictions are particularly good for black women—at least in the United States. This claim will likely strike many as outlandish. And numerous commentaries on abortion restrictions have suggested otherwise: many authors have lamented the effects of abortion restrictions on women, and black women in particular—these restrictions are bad for them, these authors say. However, abortion restrictions are clearly good for black women. This is because if someone is prevented from performing a morally wrong action, it’s good for her. For (...) example, it’s good for Sarah if she’s prevented from driving home drunk. However, since abortion is morally wrong, it follows that it’s good for women when they are prevented from getting an abortion. And since black women get abortions at disproportionately high rates, abortion restrictions are good in particular for black women. Indeed, this is an example of a positive effect of intersectionality. (shrink)

Skeptical theism is a popular response to arguments from evil. Many hold that it undermines a key inference often used by such arguments. However, the case for skeptical theism is often kept at an intuitive level: no one has offered an explicit argument for the truth of skeptical theism. In this article, I aim to remedy this situation: I construct an explicit, rigorous argument for the truth of skeptical theism.

Critics of skeptical theism often claim that if it (skeptical theism) is true, then we are in the dark about whether (or for all we know) there is a morally justifying for God to radically deceive us. From here, it is argued that radical skepticism follows: if we are truly in the dark about whether there is a morally justifying reason for God to radically deceive us, then we cannot know anything. In this article, I show that skeptical theism does (...) not entail that we are in the dark about whether (or for all we know) there is a morally justifying reason for God to deceive us. And hence arguments against skeptical theism that make use of this assumption fail. (shrink)

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...) principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

In this paper, I explore a fundamental but under-appreciated distinction between two ways of understanding the desire-satisfaction theory of well-being. According to proactive desire satisfactionism, a person is benefited by the acquisition of new satisfied desires. According to reactive desire satisfactionism, a person can be benefited only by the satisfaction of their existing desires. I first offer an overview of this distinction. I then canvass several ways of developing a general formulation of desire satisfactionism that would capture the reactive view, (...) and argue that all come with significant costs. (shrink)

Arguments from evil purport to show that some fact about evil makes it (at least) probable that God does not exist. Skeptical theism is held to undermine many versions of the argument from evil: it is thought to undermine a crucial inference that such arguments often rely on. Skeptical objections to skeptical theism claim that it (skeptical theism) entails an excessive amount of skepticism, and therefore should be rejected. In this article, I show that skeptical objections to skeptical theism have (...) a very limited scope: only those who reject certain (apparently) popular epistemological theories will be threatened by them. (shrink)

The “Embryo Rescue Case” (ERC) refers to a thought experiment that is used to argue against the view that embryos have a right to life (i.e. are persons). I will argue that cognitive science undermines the intuition elicited by the ERC; I will show that whether or not embryos have a right to life, our mental tools will make it very difficult to believe that embryos have said right. This suggests that the intuition elicited by the ERC is not truth (...) indicative. The upshot of this is that we have an undercutting defeater for our intuition that embryos do not have a right to life. (shrink)

Could it be true that even though we as a group ought to do something, you as an individual ought not to do your part? And under what conditions, in particular, could this happen? In this article, I discuss how a certain kind of case, introduced by David Copp, illustrates the possibility that you ought not to do your part even when you would be playing a crucial causal role in the group action. This is because you may have special (...) agent-relative reasons against participating that are not shared by the group as a whole. I defend the claim that these are indeed cases in which you ought not to do your part in what the group ought to do. I then argue that we can expect these cases to produce a troubling kind of rational conflict. (shrink)

Joona Räsänen, in his article ‘Ectogenesis, abortion and a right to the death of the fetus’, has argued for the view that parents have a right to the death of the fetus. In this article, I will explicate the three arguments Räsänen defends, and show that two of them have false or unmotivated premises and hence fail, and that the support he offers for his third argument is inconsistent with other views he expresses in his article. Therefore, I conclude that (...) there is no right to the death of the fetus—or, if there is one, Räsänen has not shown it. (shrink)

Elselijn Kingma argues that, in cases of mammalian placental pregnancy, the foster (roughly, the post-implantation embryo/foetus) is part of the gravida (the pregnant organism). But she does not consider the possibility of proper overlap. I show that this generates a number of serious problems for her argument and trace the oversight to a quite general issue within the literature on biological individuality. Doing so provides an opportunity to pull apart and clarify the relations between some importantly distinct questions concerning organismality (...) and organismic parthood, and to identify the implications that this has for those who want to draw on this literature when making metaphysical or mereological arguments. (shrink)

Perry Hendricks’ original impairment argument for the immorality of abortion is based on the impairment principle (TIP): if impairing an organism to some degree is immoral, then ceteris paribus, impairing it to a higher degree is also immoral. Since abortion impairs a fetus to a higher degree than fetal alcohol syndrome (FAS) and giving a fetus FAS is immoral, it follows that abortion is immoral. Critics have argued that the ceteris paribus is not met for FAS and abortion, and (...) so we proposed the Modified Impairment Principle (MIP) to avoid these difficulties. Dustin Crummett has responded, arguing that MIP is open to various counterexamples which show it to be false. He also shows that MIP can generate moral dilemmas. Here, we propose a modification to MIP that resolves the issues Crummett raises. Additionally, Alex Gillham has criticized our appropriation of Don Marquis’ ‘future like ours’ reasoning about the wrongness of impairment. We show that his objections have minimal implications for our argument. (shrink)

Pattern-based reasons are reasons for action deriving not from the features of our own actions, but from the features of the larger patterns of action in which we might be participating. These reasons might relate to the patterns of action that will actually be carried out, or they might relate to merely hypothetical patterns. In past work, I have argued that accepting merely hypothetical pattern-based reasons, together with a plausible account of how to weigh these reasons, can lead to disastrous (...) consequences. However, in this article, I argue that this problem is not limited to hypothetical pattern-based reasons: it turns out that there are analogous issues for reasons deriving from actual patterns. I then suggest that we can avoid this problem by adopting a different account of the weight of pattern-based reasons. (shrink)

Trent Dougherty has argued that commonsense epistemology and skeptical theism are incompatible. In this paper, I explicate Dougherty’s argument, and show that (at least) one popular form of skeptical theism is compatible with commonsense epistemology.